DERASEMENT définition

DERASEMENT

[Maç.] Coupe, taille de pierres en place pour reformer un alignement, un même niveau. - Suppression d'une partie d'ouvrage en excès.
Trouvé sur https://www.editions-eyrolles.com/Dico-BTP/definition.html?id=3232

---